<?php
  //file::deleteFile()
?>
